GeneralizeRHS.agda:6,5-6
Generalizable variable GeneralizeRHS.X is not supported here
when scope checking X
